Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Research Ideas FMICS-AVoCS 2016

Subjects: Formal Methods; Critical Systems; Automated Verification Techniques

  • Source: Research Ideas FMICS-AVoCS 2016 (ISTI-CNR, Pisa, Italy, 26-28 September 2016), Technical report, 2016.

تفاصيل العنوان

×
Conference

GaAs Sub-Micron and Nano Islands by Droplet Epitaxy on Si

Subjects: Droplet Epitaxy; GaAs/Si; TEM-EDS

  • Source: In: ECOSS-26 - 26th European Conference on Surface Science (Parma (Italy), 30 Aug. - 4 Sept. 2009). Abstract, p. 193. European Physical Society, 2009.

تفاصيل العنوان

×
Conference

Multiple slit interference and diffraction

Subjects: Electron Interference; TEM; Fraunhofer Diffractiom

  • Source: In: MC2009 - 9th Multinational Conference on Microscopy 2009 (Graz (A), 30 Aug. - 04 Sept. 2009). Proceedings, vol. 1 pp. 283 - 284. G. Kothlritner, M. Leisch (eds.).

تفاصيل العنوان

×
Conference

3D scanning the Minerva of Arezzo

Subjects: Digital models; 3D scanning; Computer graphics

  • Source: In: International Cultural Heritage Informatics Meeting - Cultural Heritage and Technologies in the Third Millenium (Milan, Italy, 3-7 September 2001). Proceedings, David Bearman and Franca Garzotto

تفاصيل العنوان

×
Conference

An ultrasound based technique for the detection and classification of flaws inside large sizes marble or stone structural elements

Subjects: Non destructive evaluation; Ultrasound testing; Marble/stone qualiity control

  • Source: In: International Cultural Heritage Informatics Meeting. Cultural Heritage and Technologies in the Third Millenium. ICHIM 2001 (Milan, Italy, 3-7 September 2001). Proceedings, pp. 283 - 287. David

تفاصيل العنوان

×
Conference

Towards optimal database maintenance in wireless communication systems

Subjects: Maintenance; Petri net; Database audit

  • Source: In: World Multiconference on Systemics, Cybernetics and Informatics - Information Systems Development (Orlando, Florida, USA, July 22-25 2001). Proceedings, vol. Proceedings, v.1 pp. 571 - 576. Nagib

تفاصيل العنوان

×
Conference

Methods and techniques for image characterisation

Subjects: info:eu-repo/classification/acm/I.4 Image processing and computer vision

  • Source: In: EUROGRAPHICS'99 (Milano, September 7-11 1999). Proceedings, pp. 19 - 25. G. Faconti and F. Sillion (eds.). 1999.

تفاصيل العنوان

×
Conference

Cross-language information retrieval (CLIR) track overview

Subjects: Cross-language; info:eu-repo/classification/acm/H.3.3 Information search and retrieval

  • Source: In: Information Technology: The Seventh Text Retrieval Conference (TREC-7). Proceedings (Gaithersburg (Maryland), November 9-11 1998). Proceedings, M. Voorhees and D.K. Harman (

تفاصيل العنوان

×